Library-Based Design and Consistency Checking of System-Level Industrial Test Cases
نویسندگان
چکیده
In this paper we present a new coarse grain approach to automated integrated (functional) testing, which combines three paradigms: library-based test design, meaning construction of test graphs by combination of test case components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose environment for application-specific test development and execution, and library-based consistency checking, allowing continuous verification of applicationand aspect-specific properties by means of model checking. These features and their impact for the test process and the test engineers are illustrated along an industrial application: an automated integrated testing environment for CTI-Systems.
منابع مشابه
METAFrame in Practice: Design of Intelligent Network Services
In this paper we present MetaFrame, an environment for formal methods-based, application-specific software design. Characteristic for MetaFrame are the following features: library-based development, meaning software construction by combination of components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose development environment, and libr...
متن کاملScalable System-level CTI Testing through Lightweight Coarse-grained Coordination
We propose a solution to the problem of system-level testing of functionally complex communication systems based on lightweight coordination. The enabling aspect is here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment. This induces an understandable modelling paradigm of system-wide test cases which is adequate for...
متن کاملObject Specification and Testing using VTL
A scalable, hybrid approach is described for verifying and testing object-oriented systems, which combines the benefits of algebraic methods for specifying global and historical system behaviour and state-based test sequence generation for guaranteeing that any implementation conforms to the specification. A formal object design language, VTL, sits under a family of related design, model-checki...
متن کاملAn Automated Testing Environment for CTI Systems
In this paper we present an automated testing environment for the system level test of Computer Telephony Integrated applications. Its novelty consists of a coordinative test management layer that instantiates a general-purpose environment for the specification and verification of workflows in the testing domain. This results in a test environment that does not only control the individual test ...
متن کاملIntelligent Knowledge Based System Approach for Optimization of Design and Manufacturing for Abrasive Water Jet Machining
A water jet machining is an industrial tool capable of cutting a wide variety of materials using a very high-pressure jet of water, or a mixture of water and an abrasive substance. This paper addresses the concept of the Intelligent knowledge base system (IKBS) for optimization of product design and manufacturing process for water jet machining in computer based concurrent engineering environme...
متن کامل